A Kripkean Approach to Unknowability and Truth

On Gupta-Belnap Revision Theories of Truth, Kripkean fixed points, and the next stable set

We consider various concepts associated with the revision theory of truth of Gupta and Belnap. We categorize the notions definable using their theory of circular definitions as those notions universally definable over the next stable set. We give a simplified (in terms of definitional complexity) account of varied revision sequences as a generalised algorithmic theory of truth. This enables som...

On Gupta-Belnap Revision Theories of Truth, Kripkean Fixed Points, and The Next Stable Set.

A Defense of the Kripkean Account of Logical Truth in First-Order Modal Logic

Tarskian and Kripkean truth

A theory of the transfinite Tarskian hierarchy of languages is outlined and compared to a notion of partial truth by Kripke. It is shown that the hierarchy can be embedded into Kripke’s minimal fixed point model. From this results on the expressive power of both approaches are obtained.

A Kripkean Solution to Paradoxes of Denotation

Kripke’s solution to the Liar Paradox and other paradoxes of truth (1975) is generalized to the paradoxes of denotation. Berry’s Paradox and Hilbert and Bernays’ Paradox are treated in detail.